class entry:
    class rvalue:
        def __init__(self, v): self._v = v
        def get(self): return self._v
    def incoming(self, event):
        temporal, node = event.data
        if temporal == "post":
            event.trail.operands.append(self.rvalue(node.literal))
